Trivial spelling mistake fix.

... but mainly to check that pushes to the repository are working

Signed-off-by: James Bulpin <james@xensource.com>

diff --git a/xen/common/sched_sedf.c b/xen/common/sched_sedf.c
index 5a9d69b668696326cf6129020c37491a58ae0193..1a498dcd30c61c17654451ada02a7ae8c3ba7858 100644 (file)
--- a/xen/common/sched_sedf.c
+++ b/xen/common/sched_sedf.c
@@ -846,7 +846,7 @@ static void sedf_sleep(struct vcpu *d) {
  *      the domain can't finish it's workload in the period
  *     -in addition to that the domain can be treated prioritised when
  *      extratime is available
- *     -addition: experiments hve shown that this may have a HUGE impact on
+ *     -addition: experiments have shown that this may have a HUGE impact on
  *      performance of other domains, becaus it can lead to excessive context
  *      switches